大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Laboratory Guide to the Methods in Biochemical Genetics [electronic resource]

0
索取号：
作者：Blau、 Nenad.、Duran、 Marinius.、Gibson、 K. Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

0
索取号：
作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

0
索取号：
作者：Shao、 Zhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

0
索取号：
作者：Masuzawa、 Toshimitsu.、Tixeuil、 S茅bastien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Finite Element Methods for Engineering Sciences [electronic resource] : Theoretical Approach and Problem Solving Techniques

0
索取号：
作者：Chaskalovic、 Joel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

0
索取号：
作者：Holub、 Jan.、沤膹谩rek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Monte Carlo Methods in Fuzzy Optimization [electronic resource]

0
索取号：
作者：Buckley、 James J.、Jowers、 Leonard J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Intelligence [electronic resource] : Methods and Techniques

0
索取号：
作者：Rutkowski、 Leszek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Mechanics [electronic resource] : Proceedings of 鈥淚nternational Symposium on Computational Mechanics鈥ʵly 30鈥揂ugust 1, 2007, Beijing, China

0
索取号：
作者：Yao、 Z. H.、Yuan、 M. W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Database Programming Languages [electronic resource] : 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

0
索取号：
作者：Arenas、 Marcelo.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

0
索取号：
作者：Paschke、 Adrian.、Biletskiy、 Yevgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Landform - Structure, Evolution, Process Control [electronic resource] : Proceedings of the International Symposium on Landform organised by the Research Training Group 437

0
索取号：
作者：Otto、 Jan-Christoph.、Dikau、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

0
索取号：
作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Methods in Signal Processing and Digital Image Analysis [electronic resource]

0
索取号：
作者：Dahlhaus、 Rainer.、Kurths、 J眉rgen.、Maass、 Peter.、Timmer、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings

0
索取号：
作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings

0
索取号：
作者：Mele、 Francesco.、Ramella、 Giuliana.、Santillo、 Silvia.、Ventriglia、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.